1. Elementary end extensions in model theory and set theory
المؤلف: by: Shahram Mohsenipour,^AMohsenipour, Shahram
المکتبة: (طهران)
موضوع: Logic, Symbolic and mathematical,Model theory,Set theory
2. Fundamentals of mathematical logic /
المؤلف: Peter G. Hinman.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Model theory.,Recursion theory.,Set theory.,Logic, Symbolic and mathematical.,MATHEMATICS-- General.,Model theory.,Recursion theory.,Set theory.
رده :
QA9
.
H527
2005
3. Logic Colloquium '87: proceedings of the colloquium held in Granada, Spain, July 20-25, 1987
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory
رده :
QA
9
.
A1
.
L63
1987
4. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983
المؤلف: edited by G. H. Muller and M. M. Richter
المکتبة: (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory,Congresses ، Machine theory,Congresses ، Proof theory
رده :
QA
3
.
L28
Vol
.
1103
,
1104
